Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
81	Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Constraint programming Logic programming Computability theory Lambda calculus Theoretical computer science Local consistency Scheme Pseudo-ring Clause Declarative programming Mathematics Mathematical logic
82	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
83	An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, Fran Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-06-06 05:07:36 Local consistency Constraint satisfaction problem Vector space Algebra Constraint programming Mathematics
84	Buffered Resource Constraint: Algorithms and Complexity Christian Bessiere1 , Emmanuel Hebrard2 , Marc-Andr´e M´enard3 , Claude-Guy Quimper3 , and Toby Walsh4 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-13 08:25:28 Local consistency Mathematics Flow network Applied mathematics Theoretical computer science Constraint programming Network flow Operations research
85	The ROOTS Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh5 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction Decomposition method Constraint inference Constraint programming Local consistency Constraint satisfaction problem
86	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
87	C++ Coding Standard C++ Coding Standard Last Modified: My Home Page Using this Standard. If you want to make a local copy of this Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:26:00 Cross-platform software Source code Procedural programming languages C++ C programming language Objective-C Coding conventions C Java Computer programming Computing Software engineering
88	Distance Constraints in Constraint Satisfaction Emmanuel Hebrard 4C, Computer Science Dept. UCC, Ireland Barry O’Sullivan Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:33 Computing Local consistency Constraint satisfaction Backtracking Mathematical optimization Decomposition method Constraint optimization Constraint programming Software engineering Computer programming
89	A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e. Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Mathematics Local consistency Constraint satisfaction Constraint optimization Mathematical optimization Static single assignment form FO Variable Parameterized complexity Constraint programming Software engineering Theoretical computer science
90	Constraint Programming Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:07:15 Computing Local consistency Backtracking Search algorithm Linear programming Constraint satisfaction Hidden transformation Constraint programming Software engineering Computer programming

UPDATE